-
Notifications
You must be signed in to change notification settings - Fork 5.3k
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Update EIP-7600: Delete EIPS/eip-7212.md #8779
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Thanks for applying the changes. Can you also consider removing related assets under assets/eip-7212
? Opened a PR for that.
i think assets also need to be deleted in same PR to make CI pass |
PR won't be merged if any of the branches don't pass the CI, so both deletions need to be in same PR i guess |
Ah understood, yes. I assume @SamWilsn is able to merge the PR, even if the CI does not pass. I wanted to help him by preparing the PR, thinking it's not dangerous as it's him branch. |
The commit 6bc8006 (as a parent of 3fbef24) contains errors. |
ATTENTION: ERC-RELATED PULL REQUESTS NOW OCCUR IN ETHEREUM/ERCS
--
When opening a pull request to submit a new EIP, please use the suggested template: https://github.com/ethereum/EIPs/blob/master/eip-template.md
We have a GitHub bot that automatically merges some PRs. It will merge yours immediately if certain criteria are met: